Higher category theory - PDFSEARCH.IO - Document Search Engine

Higher category theory
Results: 120

#	Item
101	[removed]–22] Ver[removed] Add to Reading List Source URL: www.ritsumei.ac.jp Language: English - Date: 2004-04-13 01:57:26 Monoidal categories Group theory Homotopy theory John C. Baez N-group Higher-dimensional algebra Monoid Bicategory PRO Category theory Abstract algebra Higher category theory
102	THE CARTESIAN CLOSED BICATEGORY OF GENERALISED SPECIES OF STRUCTURES M. FIORE, N. GAMBINO, M. HYLAND, AND G. WINSKEL Add to Reading List Source URL: www.cs.le.ac.uk Language: English - Date: 2007-10-29 10:09:01 Adjoint functors Monoidal categories Higher category theory Monoidal functor Combinatorial species Monad Functor 2-category Cartesian closed category Category theory Abstract algebra Mathematics
103	HLearn: A Machine Learning Library for Haskell Michael Izbicki UC Riverside Add to Reading List Source URL: izbicki.me Language: English - Date: 2013-05-08 20:15:52 Algebraic structures Higher-order functions Semigroup theory Category theory Functional languages Monoid Monad Semigroup Map Abstract algebra Software engineering Computing
104	Univalent Foundations of Mathematics Talk by Vladimir Voevodsky September 5 , 2011 Add to Reading List Source URL: www.math.ias.edu Language: English - Date: 2011-12-13 11:34:22 Category theory Topology Higher category theory Algebraic structures Type theory Zermelo–Fraenkel set theory Groupoid Set theory New Foundations Mathematics Abstract algebra Homotopy theory
105	Two Constructivist Aspects of Category Theory Add to Reading List Source URL: www.cwru.edu Language: English - Date: 2011-07-29 14:32:40 Mathematical constructivism Intuitionism Category theory Higher category theory Constructivism Topos Axiom of choice Intuitionistic logic Category Mathematics Mathematical logic Logic
106	Foundations and Applications of Higher-Dimensional Directed Type Theory Robert Harper and Daniel R. Licata Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-05-26 15:05:42 Type theory Logic in computer science Algebraic topology Dependently typed programming Proof theory Curry–Howard correspondence Category theory Equivalence of categories Sheaf Mathematics Abstract algebra Mathematical logic
107	ASE98 minitutorial-2002.ppt Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2010-03-10 15:32:21 Higher category theory Morphism Category Limit Natural transformation Algebraic structures Fibred category Zero morphism Category theory Abstract algebra Mathematics
108	Theory and Applications of Categories, Vol. 24, No. 18, 2010, pp. 489–553. HIGHER DIMENSIONAL ALGEBRA VII: GROUPOIDIFICATION Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2010-11-12 15:17:58 Category theory Algebraic structures Homotopy theory Symmetry Group theory Groupoid Lie groupoid Group action Higher-dimensional algebra Abstract algebra Algebra Mathematics
109	Univalence For Free Matthieu Sozeau1,2 and Nicolas Tabareau1,3 1 Add to Reading List Source URL: hal.archives-ouvertes.fr Language: English - Date: 2013-03-21 05:10:37 Category theory Homotopy theory Algebraic structures Symmetry Higher category theory Groupoid Equivalence relation Group action Adjoint functors Abstract algebra Mathematics Algebra
110	Higher-Dimensional Categories: an illustrated guide book Add to Reading List Source URL: cheng.staff.shef.ac.uk Language: English - Date: 2006-10-26 07:27:22 Abstract algebra Algebraic topology Operad theory Simplicial set Definition Nerve Intuition Adjoint functors E∞-operad Category theory Mathematics Algebra

UPDATE